Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
Ah no - the problem is another rename happened but the change to the docs generation code wasn't yet merged. I have merged it and will regenerate.
[edit] it's fixed.
@MajorDangerNine this too.
